German algorithmische testfallerzeugung: la traduction en autres langues